- axiomatization
- аксиоматизация; формулирование аксиом; постулирование
axiomatization entails… — в соответствии с принятыми аксиомами…
English-Russian dictionary of computer science and programming. 2013.
axiomatization entails… — в соответствии с принятыми аксиомами…
English-Russian dictionary of computer science and programming. 2013.
axiomatization — (Amer.) n. act of expressing a theory as a set of axioms; process of reducing to a system of axioms (also axiomatisation) … English contemporary dictionary
axiomatization — noun Date: 1931 the act or process of reducing to a system of axioms • axiomatize transitive verb … New Collegiate Dictionary
axiomatization — noun a) The act of making axiomatic. b) The act or process of establishing a concept within a system of axioms. See Also: axiom, axiomatic, axiomatize … Wiktionary
axiomatization — ax·i·om·a·ti·za·tion … English syllables
axiomatization — ˌaksēˌäməd.ə̇ˈzāshən, məˌtīˈz noun ( s) : the act or process of axiomatizing compare formalization … Useful english dictionary
Tarski's axiomatization of the reals — In 1936, Alfred Tarski set out an axiomatization of the real numbers and their arithmetic, consisting of only the 8 axioms shown below and a mere four primitive notions: the set of reals denoted R, a binary total order over R, denoted by infix … Wikipedia
Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
Boolean algebra (introduction) — Boolean algebra, developed in 1854 by George Boole in his book An Investigation of the Laws of Thought , is a variant of ordinary algebra as taught in high school. Boolean algebra differs from ordinary algebra in three ways: in the values that… … Wikipedia
Ontology double articulation — The notion of Ontology Double Articulation refers to a methodological principle in ontology engineering. The idea is that an ontology should be built as separate domain axiomatizations and application axiomatization(s). In other words an… … Wikipedia